Temporal and Modal Logic Based Event Languages for the Development of Reactive Application Systems

The Future Internet is one of the key techniques to support the organizational processes in a reactive way. The Internet itself has developed from a mere data-centric organization into a platform for applications (services). To orchestrate the multiplicity of services in the Internet an eventdriven and language-critical architecture is needed. Moreover a simple boolean logic just differentiating the states true and wrong is not sufficient to cope with the diversity of events. States of applications in the Future Internet are time dependent and logic dealing with these problems needs to be extended in the directions of temporal logic and modal logic. Moreover existing architectures have to be extended to be able to handle events effectively. Hence, the extension of service-oriented architectures to event-driven, reactive architectures is a necessary step. To perform this task IT-experts with an interdisciplinary background are needed.